- immediate corollary
- Математика: непосредственное следствие
Универсальный англо-русский словарь. Академик.ру. 2011.
Универсальный англо-русский словарь. Академик.ру. 2011.
corollary — /kawr euh ler ee, kor /; esp. Brit., /keuh rol euh ree/, n., pl. corollaries. 1. Math. a proposition that is incidentally proved in proving another proposition. 2. an immediate consequence or easily drawn conclusion. 3. a natural consequence or… … Universalium
corollary — cor•ol•lar•y [[t]ˈkɔr əˌlɛr i, ˈkɒr [/t]] esp. brit., [[t]kəˈrɒl ə ri[/t]] n. pl. lar•ies 1) math. Math. a proposition incidentally proved in proving another proposition 2) an immediate consequence or easily drawn conclusion 3) a natural… … From formal English to slang
corollary — n. & adj. n. (pl. ies) 1 a a proposition that follows from (and is often appended to) one already proved. b an immediate deduction. 2 (often foll. by of) a natural consequence or result. adj. 1 supplementary, associated. 2 (often foll. by to)… … Useful english dictionary
corollary — /kəˈrɒləri / (say kuh roluhree) noun (plural corollaries) 1. Mathematics, Logic a proposition which is an extrapolation from a proposition already proved. 2. an immediate or easily drawn consequence. 3. a natural consequence or result. {Middle… …
Roosevelt Corollary — President Theodore Roosevelt ’s codicil to the 1823 Monroe Doctrine, which ordained that the Western Hemisphere was the domain of the United States and that it would police the area to the exclusion of other powers. The corollary built on the… … Encyclopedia of the Age of Imperialism, 1800–1914
Myhill–Nerode theorem — In the theory of formal languages, the Myhill–Nerode theorem provides a necessary and sufficient condition for a language to be regular. The theorem is named for John Myhill and Anil Nerode, who proved it at the University of Chicago in 1958… … Wikipedia
Euclidean domain — In abstract algebra, a Euclidean domain (also called a Euclidean ring) is a type of ring in which the Euclidean algorithm applies. A Euclidean domain is a specific type of integral domain, and can be characterized by the following (not… … Wikipedia
Hilbert's Nullstellensatz — (German: theorem of zeros, or more literally, zero locus theorem – see Satz) is a theorem which establishes a fundamental relationship between geometry and algebra. This relationship is the basis of algebraic geometry, an important branch of… … Wikipedia
Free module — In mathematics, a free module is a free object in the category of modules. Given a set S , a free module on S is a (particular construction of a) free module with basis S .Every vector space is free, and the free vector space on a set is a… … Wikipedia
Growth rate (group theory) — In group theory, the growth rate of a group with respect to a symmetric generating set describes the size of balls in the group. Every element in the group can be written as a product of generators, and the growth rate counts the number of… … Wikipedia
Hellinger–Toeplitz theorem — In functional analysis, a branch of mathematics, the Hellinger–Toeplitz theorem states that an everywhere defined symmetric operator on a Hilbert space is bounded. By definition, an operator A is symmetric if : langle A x | y angle = langle x | A … Wikipedia